Jan Mierke and Karl Christoph Klauer Rheinische Friedrich-Wilhelms-Universitat Bonn Abstract. It is argued that a model of goal-independent spreading activation in a social or semantic knowledge structure is insufficient

Source URL: faculty.washington.edu

EXACTNESS OF SEMIDEFINITE RELAXATIONS FOR NONLINEAR OPTIMIZATION PROBLEMS WITH UNDERLYING GRAPH STRUCTURE SOMAYEH SOJOUDI∗ AND JAVAD LAVAEI† Abstract. This work is concerned with finding a global optimization techniq

Source URL: www.ieor.berkeley.edu

Seminar ‘Advanced Hodge theory and the Hodge conjecture’ Summer term 2012 The idea of the seminar is to learn some classical concepts and recent approaches to the Hodge conjecture. Basic concepts of Hodge theory are

Source URL: www.math.uni-bonn.de

• Algebra
• Abstract algebra
• Mathematics
• Hodge theory
• Algebraic geometry
• Conjectures
• Homological algebra
• Hodge conjecture
• Homology theory
• Hodge structure
• Hodge cycle
• MumfordTate group

Resource-Restricted Indifferentiability? Gr´egory Demay, Peter Gaˇzi, Martin Hirt, and Ueli Maurer Department of Computer Science, ETH Zurich, Switzerland {gregory.demay,peter.gazi,hirt,maurer}@inf.ethz.ch Abstract. A

Source URL: pub.ist.ac.at

• Computability theory
• Mathematical logic
• Model theory
• Structure
• Universal algebra
• Reduction
• Symbol
• Sigma-algebra
• Decomposition of spectrum

Statistically stable velocity macro-model estimation Eric Dussaud ABSTRACT Velocity analysis resolves relatively long scales of earth structure, on the order of 1 km. Migration produces images with length scales (wavelen

Source URL: trip.rice.edu

A Case for Behavior-Preserving Actions in Separation Logic David Costanzo and Zhong Shao Yale University Abstract. Separation Logic is a widely-used tool that allows for local

Source URL: flint.cs.yale.edu

• Model theory
• Logic in computer science
• Separation logic
• Substructural logic
• Structure
• Elementary class
• Substitution

J. Symbolic Computation, 235–265 The Magma Algebra System I: The User Language† WIEB BOSMA‡, JOHN CANNON§ AND CATHERINE PLAYOUST¶ Computational Algebra Group, School of Mathematics and Statistics, The

Source URL: www.math.ru.nl

• Algebra
• Mathematics
• Abstract algebra
• Universal algebra
• Mathematical structures
• Mathematical logic
• Algebraic structures
• Magma
• Sigma-algebra
• Structure
• F-algebra
• Model theory

Three-Dimensional Motif Search of Proteins Using Abstract Representation of Secondary Structure Segment Hiroaki KATO

Source URL: www.jsbi.org

• Structural biology
• Protein structure
• Biology
• Helices
• Protein domains
• DSSP
• Alpha helix
• Protein
• Protein secondary structure
• STRIDE

Galois Transformers and Modular Abstract Interpreters Reusable Metatheory for Program Analysis David Darais Matthew Might

Source URL: matt.might.net

• Computer programming
• Mathematics
• Software engineering
• Functional programming
• Monad
• operator
• Structure
• Closure

STRUCTURE OF GENERAL IDEAL SEMIGROUPS OF MONOIDS AND DOMAINS ANDREAS REINHART Abstract. Let H be a monoid (resp. an integral domain) and r an ideal system on H. In this paper we investigate the r-ideal semigroup of H. On

Source URL: www.uni-graz.at